discrete metric definition